翻訳と辞書 Words near each other ・ Charitoprepes ・ Charitopsis ・ Charitopsis (fish) ・ Charitosaurus ・ Charitosemia ・ Charitosomus ・ Charitostega ・ Charitraheen ・ Charitum Montes ・ Charity ・ Charity (horse) ・ Charity (name) ・ Charity (novel) ・ Charity (play) ・ Charity (practice) ・ Charity (programming language) ・ Charity (song) ・ Charity (virtue) ・ Charity Adams Earley ・ Charity Ann ・ Charity badge ・ Charity Bank ・ Charity Basaza Mulenga ・ Charity Bick ・ Charity Bounce ・ Charity Bowl ・ Charity Brown ・ Charity care ・ Charity Case ・ Charity Castle Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Charity (programming language) ： ウィキペディア英語版 Charity (programming language) Charity is an experimental purely functional programming language, developed at the University of Calgary under the supervision of Robin Cockett. Based on ideas by (Hagino Tatsuya ), it is completely grounded in category theory. Disregarding interactions with the outside world, all Charity programs are guaranteed to terminate or stay productive. The language allows ordinary recursive data types, such as might be found in ML, which are required to be finite, and corecursive data types, which are allowed to be potentially infinite. The control structure for operating on recursive data types is primitive recursion or paramorphism, and the control structure for corecursive data types is primitive co-recursion or apomorphism. Neither control structure can operate over the other kind of data, so all paramorphisms terminate and all apomorphisms are productive. ==References== 〔 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Charity (programming language)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.